Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Software and Systems Modeling - Open environmental software systems are often time-sensitive, as they need to respond to other entities within the systems and/or in the environments promptly. The...     

特低渗砂岩油藏CO2-低界面张力黏弹流体协同驱油机理研究

目的特低渗油藏储层物性差、层间非均质性强,造成CO₂驱易发生气窜,提高采收率效果欠佳,其中,CO₂水气交替驱作为结合CO₂驱和水驱优势的方法,具有较高的适用性。为进一步改善CO₂-水交替驱的开发效果,开展了CO₂-低界面张力黏弹流体协同驱油研究。 方法通过界面张力和润湿性能测试评价低界面张力黏弹流体基本性能,并利用微观可视化驱油实验及岩心驱油实验等,探究了不同驱替方式的驱油效果和CO₂-低界面张力黏弹流体协同驱油过程中二者之间的“协同作用”机理。 结果低界面张力黏弹流体具备良好的界面活性和改变岩石表面润湿性能力,水驱后开展CO₂驱、低界面张力黏弹流体驱、CO₂-低界面张力黏弹流体交替协同驱,采收率可在水驱基础上分别提高0.91%、10.66%、16.25%,其提高采收率机理包括降低界面张力、改善流度比、改变岩石表面润湿性及乳化作用的协同效应等。 结论CO₂-低界面张力黏弹流体协同驱既可有效增强非均质特低渗砂岩油藏注CO₂过程中气体流动性控制,又能够降低CO₂萃取轻烃导致重质组分沉积的影响,具有协同增效作用。      

4'-氯-2-氨基联苯的绿色合成与表征

以对氯溴苯和邻氯硝基苯为原料,经格氏反应、Suzuki偶联、Pd-C催化加氢还原3步反应合成了4'-氯-2-氨基联苯.格氏反应中,优化的反应条件为n(对氯溴苯)∶n(硼酸三甲酯)=1.0∶1.2,反应温度为0℃.Suzuki偶联反应中,优化的反应条件为n(邻氯硝基苯)∶n(4-氯苯硼酸)∶n(PdCl2(PPh3)2)=1.00∶1.10∶0.01,还原反应的较佳反应温度为50℃.在优化的反应条件下,4'-氯-2-氨基联苯的合成总收率≥59.7％(以对氯溴苯计),纯度95.0％;产物结构经IR、1H NMR、MS确证.该工艺简单经济,条件温和,高效环保,适合工业化生产.     

考虑光照和风速影响的1000kV柱式CVT温度分布特征研究

建立了温度场三维仿真模型,通过正常运行时仿真结果及现场红外测温图谱的比对,验证了仿真模型的正确性,并对不同光照和风速对1000kV CVT温度分布的影响进行了研究分析.     

求解带能力约束车辆路径优化问题的改进模拟退火算法

为高效求解带能力约束的车辆路径优化问题,提出一种带有回火操作的改进模拟退火算法.解析多约束条件下的路径优化特点,构建了结构简单且功能模块相对独立的模拟退火框架,以便相关约束及其算法的耦合嵌套.在此基础上,改变较优解在迭代过程中的接受规则,引入回火操作使全局搜索与局部搜索实现平衡;设计强制的随机邻域变换策略,以提高多约束条件下的新解生成质量.结合初始解生成方法,构建了整体算法.通过不同类型算例的对比实验表明,所提算法具有优越的求解性能,相应的求解框架与优化方法研究,能够为相关的多约束耦合求解提供参考.     

基于粒子群优化和支持向量机的花粉浓度预测模型

为了提高花粉浓度预报的准确率，解决现有花粉浓度预报准确率不高的问题，提出了一种基于粒子群优化（PSO）算法和支持向量机（SVM）的花粉浓度预报模型。首先，综合考虑气温、气温日较差、相对湿度、降水量、风力、日照时数等多种气象要素，选择与花粉浓度相关性较强的气象要素构成特征向量；其次，利用特征向量与花粉浓度数据建立SVM预测模型，并使用PSO算法找出最优参数；然后利用最优参数优化花粉浓度预测模型；最后，使用优化后的模型对花粉未来24 h浓度进行预测，并与未优化的SVM、多元线性回归法（MLR）、反向神经网络（BPNN）作对比。此外使用优化后的模型对某市南郊观象台和密云两个站点进行逐日花粉浓度预测。实验结果表明，相比其他预报方法，所提方法能有效提高花粉浓度未来24 h预测精度，并具有较高的泛化能力。     

不同产地及成熟度牛油果及其油脂品质比较

分析不同产地及成熟度牛油果及其油脂理化性质,脂肪酸组成及反式脂肪酸组成。结果表明:牛油果作为水果,粗脂肪含量和粗蛋白质含量很高;不同产地及成熟度牛油果溶剂提取所得油脂理化性质和脂肪酸组成有一定的差异。研究可为进一步开发牛油果油和制定牛油果油标准提供参考。     

Electrochemical hydrogen storage performance of as-cast and as-spun RE-Mg-Ni-Co-Al-based alloys applied to Ni/MH battery

The La-Mg-Ni-Co-Al-based AB₂-type La_0.8–xCe_0.2Y_xMgNi_3.4Co_0.4Al_0.1 (x=0, 0.05, 0.1, 0.15, 0.2) alloys were prepared via melt spinning. The analyses of the X-ray diffraction (XRD) and scanning electron microscopy (SEM) proved that the experimental alloys contain the main phase LaMgNi₄ and the second phase LaNi₅. Increasing Y content and spinning rate lead to grain refinement and obvious change of the phase abundance without changing phase composition. Y substitution for La and melt spinning make the life-span of the alloys improved remarkably, which is attributed to the improvement of anti-oxidation, anti-pulverization and anti-corrosion abilities. In addition, the discharge capacity visibly decreases with increasing the Y content, while it firstly increases and then decreases with increasing spinning rate. The electrochemical kinetics increases to the optimum performance and then reduces with increasing spinning rate. Moreover, all the alloys achieve to the highest discharge capacities just at the initial cycle without activation.     

离子型稀土矿开采工艺对环境的影响及综合治理

为给赣南离子型矿山开发与保护提供参考，介绍了赣南离子型稀土资源不同开采工艺对环境的影响，并提出了解决环境问题的对策——通过集约化发展、整体布局、统一规划，选择相适应的治理技术和环境综合治理措施。这些对策、措施的落实将能逐步改善矿区生态环境。